abstrakte Maschine

abstrakte Maschine,

 

ein gedachter oder als Software realisierter, aber physikalisch nicht vorhandener Computer oder ein solcher Bestandteil eines Computers. Eine abstrakte Maschine dient entweder als Modell, um die Durchführbarkeit komplexer Datenverarbeitungen zu untersuchen (z. B. ein Automat wie die Turing-Maschine) oder im Falle der Software-Realisierung als Schnittstelle, die dem Benutzer eine Menge von abstrakten Operationen und Datentypen anbietet. Diese Operationen können so benutzt werden, als seien sie Teil einer realen Maschine. Eine solche Schnittstelle ist zur Übertragung von Programmen auf unterschiedliche Rechnersysteme nützlich oder zur Reduzierung der Komplexität einer Aufgabe (durch Bereitstellung geeigneter Operatoren und Datentypen). Beispielsweise sind Emulatoren und Simulatoren in diesem Sinn abstrakte Maschinen.